/FONT#0=BASL30/FONT#1=BASI30/FONT#2=BASB30/FONT#14=NGR40/FONT#3=NGR25/FONT#4=NGR20/FONT#15=STA200
␈↓␈↓↓␈↓α␈↓∞␈↓β␈↓∧␈↓∂␈β↓↓␈↓∂S␈↓∞
␈↓ ↓H
␈β↓Q␈↓ ¬	STANFORD UNIVERSITY
␈↓ ↓H
␈↓β␈↓ ¬_STANFORD, CALIFORNIA 94305
␈↓ ↓H
␈↓∧
␈↓ ↓H

␈↓ ↓H

␈↓ ↓H

␈↓ ↓H
ARTIFICIAL INTELLIGENCE LABORATORY␈↓ 
+   Telephone:
␈↓ ↓H
COMPUTER SCIENCE DEPARTMENT␈↓ 
+415-497-4430
␈↓ ↓H
␈↓␈↓ ¬k16 January 1975
␈↓ ↓H

␈↓ ↓H

␈↓ ↓H
Miss J. Harrington
␈↓ ↓H
University of Oxford
␈↓ ↓H
University Registry
␈↓ ↓H
Clarendon Building
␈↓ ↓H
Broad Street
␈↓ ↓H
Oxford, OX1 38D, ENGLAND
␈↓ ↓H

␈↓ ↓H
Dear Miss Harrington:
␈↓ ↓H

␈↓ ↓H
␈↓ ↓HThis␈α⊃is␈α⊃in␈α⊃reply␈α⊃to␈α⊃your␈α⊃request␈α⊃of␈α⊃8␈α⊃January␈α⊃for␈α⊃information␈α⊃about␈α⊃Arthur␈α⊃Thomas␈α⊃and␈α⊃his
␈↓ ↓H
␈↓ ↓Happlication␈α
for␈α
an␈α
IBM␈α
fellowship␈α
(your␈α
reference␈α
IBM/4(Sub)).
␈↓ ↓H

␈↓ ↓H
␈↓ ↓HMr.␈α∞Thomas␈α∞has␈α∞shown␈α∞wideranging␈α∞scientific␈α∞and␈α
philosophical␈α
interests␈α
since␈α
he␈α
has␈α
been␈α
here.
␈↓ ↓H
␈↓ ↓HHe␈α∂has␈α∂been␈α∂active␈α∂in␈α∂vision␈α∂research,␈α∂in␈α∂our␈α∂efforts␈α∂to␈α∞make␈α∞a␈α∞computer␈α∞proof-checker␈α∞for␈α∞first
␈↓ ↓H
␈↓ ↓Horder␈αlogic,␈αand␈αhe␈αhas␈αadded␈α
facilities␈α
for␈α
handling␈α
modal␈α
logic␈α
that␈α
he␈α
designed␈α
himself.␈α
His␈α
thesis
␈↓ ↓H
␈↓ ↓Htopic␈αshows␈αoriginality,␈αbut␈αI␈αam␈αnot␈αyet␈αsure␈αthat␈αthe␈αwork␈αwill␈αbe␈αentirely␈αsuccessful.␈αI␈αhope␈αto␈αbe
␈↓ ↓H
␈↓ ↓Hable␈α∞to␈α
say␈α
much␈α
more␈α
later.␈α
I␈α
can,␈α
however,␈α
add␈α
that␈α
he␈α
has␈α
an␈α
excellent␈α
knowledge␈α
of␈α
computer
␈↓ ↓H
␈↓ ↓Hscience,␈α⊂psychology,␈α⊂and␈α⊂philosophy,␈α⊂so␈α⊂if␈α⊂I␈α⊂had␈α⊂to␈α⊂make␈α⊂a␈α⊂final␈α⊂judgment␈α⊂on␈α⊂information␈α⊂now
␈↓ ↓H
␈↓ ↓Havailable,␈α
I␈α
would␈α
consider␈α
him␈α
a␈α
very␈α
strong␈α
candidate␈α
indeed.
␈↓ ↓H

␈↓ ↓H

␈↓ ↓H

␈↓ εW
Sincerely yours,
␈↓ εW

␈↓ εW

␈↓ εW

␈↓ εW

␈↓ εW

␈↓ εW
John McCarthy
␈↓ εW
Director, Artificial Intelligence Laboratory
␈↓ εW
Professor of Computer Science
␈↓ εW

␈↓ ↓H
JMC:pw
␈↓ ↓H
oxford.le1[let,jmc]:SU-AI
␈↓ ↓H